Nuprl Lemma : le_to_lt_rw
13,42
postcript
pdf
i
,
j
:
. {(
i
j
)
(
i
< (
j
+1))}
latex
Up
int
2
,
int
2
Definitions
{
T
}
Lemmas
le
to
lt
origin
i, j:
. {(i 
j) 
(i < (j+1))} i, j:. {(i j) (i < (j+1))}